大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Model-Based Software and Data Integration [electronic resource] : First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings

0
索取号：
作者：Kutsche、 Ralf-Detlef.、Milanovic、 Nikola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

0
索取号：
作者：Garrigue、 Jacques.、Hermenegildo、 Manuel V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Mathematical Epidemiology [electronic resource]

0
索取号：
作者：Brauer、 Fred.、Driessche、 Pauline.、Wu、 Jianhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

0
索取号：
作者：Ramakrishnan、 C. R.、Rehof、 Jakob.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Compiler Construction [electronic resource] : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

0
索取号：
作者：Hendren、 Laurie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

0
索取号：
作者：Pautasso、 Cesare.、Tanter、 脡ric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

LATIN 2008: Theoretical Informatics [electronic resource] : 8th Latin American Symposium, B煤zios, Brazil, April 7-11, 2008. Proceedings

0
索取号：
作者：Laber、 Eduardo Sany.、Bornstein、 Claudson.、Nogueira、 Loana Tito.、Faria、 Luerbio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

0
索取号：
作者：King、 Andy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Fundamental Approaches to Software Engineering [electronic resource] : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

0
索取号：
作者：Fiadeiro、 Jos茅 Luiz.、Inverardi、 Paola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Programming Languages and Systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

0
索取号：
作者：Drossopoulou、 Sophia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

0
索取号：
作者：Barthe、 Gilles.、Fournet、 C茅dric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings

0
索取号：
作者：Nguyen、 Ngoc Thanh.、Jo、 Geun Sik.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

The Testing Network [electronic resource] : An Integral Approach to Test Activities in Large Software Projects

0
索取号：
作者：Henry、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Foundations of Software Science and Computational Structures [electronic resource] : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

0
索取号：
作者：Amadio、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

European Robotics Symposium 2008 [electronic resource]

0
索取号：
作者：Bruyninckx、 Herman.、P艡eu膷il、 Libor.、Kulich、 Miroslav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Mathematical Models of Granular Matter [electronic resource]

0
索取号：
作者：Capriz、 Gianfranco.、Mariano、 Paolo Maria.、Giovine、 Pasquale.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.